Testing the picoProcessor VHDL Models
ثبت نشده
چکیده
Running A Test Program There are three test-bench configurations provided with the picoProcessor models. The files ■ test_bench_behav-config.vhd, ■ test_bench_unpipelined_single_cycle_rtl.vhd, and ■ test_bench_unpipelined_multicycle_rtl.vhd provide test configurations for the behavioral, single-cycle and multi-cycle models, respectively. Each test configuration simply combines the appropriate processor model with the test-bench architecture (described below). The program code that the test bench executes is loaded into instruction memory from a file named test.ppe. Additional test programs are provided in files named test1A.ppe, test1B.ppe, test2.ppe, etc. These files can be used to replace the contents of test.ppe and, in this way, load a different test program. Alternatively, the test configurations can be edited so that the test bench reads a file other then test.ppe.
منابع مشابه
The picoProcessor VHDL Models
The type byte is the basic data type for pP instructions, and instruction is the 19-bit encoded instruction type. Byte_array and instruction_array are used for data and instruction memories, respectively. Std_ulogic_byte and std_logic_byte are used for bidirectional data buses. Such buses may have multiple sources and so need to be driven with tristate drivers. Hence, standard-logic vectors are...
متن کاملBehavioral Modeling and Simulation of Semiconductor Devices and Circuits Using VHDL-AMS
During the past few years, a lot of work has been done on behavioral models and simulation tools. But a need for modeling strategy still remains. The VHDL-AMS language supports the description of analog electronic circuits using Ordinary Differential Algebraic Equations (ODAEs), in addition to its support for describing discrete-event systems. For VHDL-AMS to be useful to the analog design ...
متن کاملA Rule-Based Software Testing Method for VHDL Models
The verification of behavioral models is an important step before transferring a hardware design to the layout. A popular approach is to use a variety of code coverage measures to evaluate how much of the design has been simulated. Common coverage measures include branch coverage and bit toggle coverage. This paper presents a test pattern generation approach based on controlflow and dataflow an...
متن کاملMethod for Automatic Generation of Rtl in Vhdl Using Decision Diagrams
In recent years, decision diagrams have earned a prominent place in the field of logic design as means of efficient representation of switching function, in terms of needed storage space and processing complexity, especially for the tasks of design, testing and verification of logic circuits. In this paper, we focus on a XML based system for description of the structure of decision diagrams wit...
متن کاملVerification of Fault Tolerance by Means of Fault Injection into VHDL Simulation Models*
This paper describes and illustrates the application of a strategy for testing fault tolerance by means of fault injection. The proposed approach encompasses a method for modelling fault tolerance together with a strategy for testing several classes of fault tolerance mechanisms. The modelling approach distinguishes two main abstraction levels: (i) a data flow diagram of the general organisatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003